release.nix: make sure our binaries have a proper version number