Renamed 'Debian 7.0-rc3' to 'Debian 7.0.0'