fix some travis-ci config