Rename Debian 7 OS files