changing options on travis's install