Resolve "Leading zeros in version numbers break downloads"

Prune leading zeros from version number strings when generating the download file name.

Fixes #353 (closed)

Closes #353 (closed)