update for changed handling of output files in GHC HEAD