--- a/build.xml	Sat May 02 10:48:17 2020 -0700
+++ b/build.xml	Sun May 03 16:15:10 2020 -0700
@@ -17,6 +17,7 @@
   </macrodef>
   <env-require name="JRE_HOME"/>
   <env-require name="KOTLIN_HOME"/>
+  <env-require name="OSDEP_HOME"/>
 
   <!-- cribbed from https://stackoverflow.com/questions/7129672/uppercase-lowercase-capitalize-an-ant-property -->
   <scriptdef language="javascript" name="toLowerCase">
@@ -150,7 +151,7 @@
   <target name="osdep">
     <exec executable="${env.JRE_HOME}/bin/java" failonerror="true">
       <arg value="-jar"/>
-      <arg value="../Osdep/osdep.jar"/>
+      <arg file="${env.OSDEP_HOME}/osdep.jar"/>
       <arg value="${src.home}"/>
     </exec>
   </target>