v0.7.1: fix version detection in DMG (fixes #29)