> Removing 'cpphs' from 'build-tools' field and removing '-pgmPcpphs > -optP--cpp' option fixed the things for me that time. I just tried and that worked. Agda installs fine after removing references to cpphs. Thanks! BTW I have the latest version of cpphs. I was trying to install latest Agda source from github and that requires cpphs >= 1.18.5. Janek