Generate hs-boot files