Use file~timestamp.ext for version (fixes #1010)