--- /dev/null
+#!/bin/bash
+
+source ../functions/main
+
+# Temporary hack. If not, C++ programs cannot be run because
+# libstdc++ libraries are in /tools/lib, but ldd expect to find them
+# in /lib. I don't know why this is necessary now...
+cd /lib
+ln -s /tools/lib/libstdc++.so* .
+
+exit $?