Fix JAVA_HOME on Linux