Demacia compilation