Install proper Ubuntu package for testing via Travis-CI