[nhc-bugs] 1.10 build fails with ghc-5.02.1