This is the Hadzsi Ibrahim Djami (Haci Ibrahim Camii in Turkish), dating to the 17th century. Unfortunately, it doesn't open until next month so we couldn't go inside. Next trip.