shorter tmpfile names