[BUGFIX] Do not use realpath for temporary file names