PostProcess.hs: correct my previous bogus attempt to fix the cuda configure phase