Deb packaging: Added ability to build on Ubuntu 13.04.