fix travis configure