Fix a bug which caused production debian packages to be incorrectly marked as 'prerelease'.