Alice -- Tested academicbuilding compilation