Add section about missing 'tools.jar' on Linux systems