Update hi-boot files to fix building with old GHCs