trying a different Travis configuration