fix bug enabling Ceylon builder