Patch 1318 by Christian Heimes: remove os.tmpnam(), os.tempnam(),

and os.tmpfile().