Demonmika compilation