New location for tools.jar for Travis CI