Another fix for ceylond tests