Trying yet again to make the RPM release number auto-generated.