Adjusting package names for Travis.