Prefix tmp files correctly