Gallio extension for BuildMaster