Avoid -dev tags to released file names.

Those were originally intended for development between release series, when
the version number was still from the old series but the code closer to a
new release series.  We don't do this at the moment; we are delivering
releases from this trunk, so we might as well drop that default.