Add Ubuntu 13.04 and Debian GNU/Linux 7.0 as supported operating system.