tweaking travis build options