Update lhs-boot files