Fix issues with version.properties.

Fixes #9