Generic tmpfile64.c.