allow any file format for pretty_file_name(). add related specs.