RE: ghc binary, fptools CVS jamming :-(