Upgraded our Debian package to 5.0