Travis: correct package names