fixes to ICTD installation