travis: try this fix