Added Debian 7.1 as supported distro
Update waitmax compile patch