Fix shell for non-default JAVA_HOME on Mac