Compression as a user option (fixes #446)