diff -r 844a9ec44858 -r e330437cd22a src/Tools/Metis/scripts/mlpp
--- a/src/Tools/Metis/scripts/mlpp	Wed Sep 15 22:24:35 2010 +0200
+++ b/src/Tools/Metis/scripts/mlpp	Thu Sep 16 07:24:04 2010 +0200
@@ -1,6 +1,6 @@
 #!/usr/bin/perl
 
-# Copyright (c) 2006 Joe Hurd, All Rights Reserved
+# Copyright (c) 2006 Joe Hurd, distributed under the MIT license
 
 use strict;
 use warnings;
@@ -78,6 +78,8 @@
         $text =~ s/Array\.modifyi/Array_modifyi/g;
         $text =~ s/OS\.Process\.isSuccess/OS_Process_isSuccess/g;
         $text =~ s/PP\.ppstream/ppstream/g;
+        $text =~ s/String\.concatWith/String_concatWith/g;
+        $text =~ s/String\.isSubstring/String_isSubstring/g;
         $text =~ s/String\.isSuffix/String_isSuffix/g;
         $text =~ s/Substring\.full/Substring_full/g;
         $text =~ s/TextIO\.inputLine/TextIO_inputLine/g;