petersen pushed to ghc-wizards (master). "rebuild"