use shorter filenames for temporary files