FIX BUILD (with GHC 6.2.x): update .hi-boot file