Get rid of Yi.Boot.hs-boot