make filenames slightly more succinct