fix travis run script