Fix package name for Travis CI