update to match .lhs-boot