Added debian 7 (wheezy) to the list of OS versions