Fix hs-boot