modified Pmain.hs.gcc