changed travis-ci configuration