$ARCHDEFS is not being read inside the script