fix Travis setting