diff -r acfa595636c7 -r f951c624c1a1 Admin/polyml/build
--- a/Admin/polyml/build	Sat Jun 04 16:23:42 2016 +0200
+++ b/Admin/polyml/build	Sat Jun 04 16:54:23 2016 +0200
@@ -87,6 +87,12 @@
 )
 
 mkdir -p "$TARGET"
+for X in "$TARGET"/*
+do
+  [ -d "$X" ] && rm -rf "$X"
+done
+rm -rf "$TARGET/polyml"
+cp -a "$THIS/polyi" "$TARGET/"
 mv "$SOURCE/$TARGET/bin/"* "$TARGET/"
 mv "$SOURCE/$TARGET/lib/"* "$TARGET/"
 rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib"