--- ../usr/bin/mlton	2007-11-10 17:47:08.000000000 +0100
+++ ../usr/bin/mlton	2007-11-10 17:46:57.000000000 +0100
@@ -5,7 +5,7 @@
 set -e
 
 dir=`dirname "$0"`
-lib='/usr/lib/mlton'
+lib='/usr/lib/mlton'
 eval `"$lib/platform"`
 gcc='gcc'
 case "$HOST_OS" in