--- mozart-1.4.0.20080704.orig/share/bin/oz.in 2008-04-22 20:40:41.000000000 +1200 +++ mozart-1.4.0.20080704/share/bin/oz.in 2008-07-06 19:04:46.000000000 +1200 @@ -4,7 +4,7 @@ # to draw links from say /usr/local/bin to OZHOME/bin # see chapter "installation" in the users manual for more information -# OZHOME=/usr/local/mozart +OZHOME=/usr/lib/mozart