fix travis-ci configs