adding debian 7.1