New PR for #7264

There should be everything about Debian 7 support