Package rename in Ubuntu 14.04.
Merge pull request #512 from mhaskel/ubuntu-1404

Package rename in Ubuntu 14.04.
Change the package name in the manifest, too!
Merge pull request #513 from mhaskel/ubuntu-1404-again

Change the package name in the manifest, too!