Renaming debian7.4 to debian7.