petersen pushed to ghc-IOSpec (f30). "update to 0.3.1.1"