.hi-boot-5 is obsolete; the earliest GHC we support uses .hi-boot-6