fix travis.ini