Compression.py prints out the filename for the user