Use compressed_dmg

Fixes #7