some travis-ci configuration tunings