Update build server's tool version
Make Travis work finally