Added Debian 7 support

Maybe you can use operatingsystemmajrelease.