fix travis-ci command line