add command-line option to save as compressed