-if [ "$CLEAN_HOME" != "$TARGET" ]; then
- echo "Add or change \$CLEAN_HOME to \"$TARGET\""
-fi
-echo "CLEAN_HOME=$TARGET"
-echo "PATH=$TARGET:\$PATH"
+echo "Apply patches" >&2
+curl -sSL https://gitlab.science.ru.nl/mlubbers/iTasks-SDK/raw/95-addbackgroundtask/Libraries/iTasks/_Framework/TaskServer.dcl\
+ > "$TARGET"/lib/iTasks/iTasks/_Framework/TaskServer.dcl
+curl -sSL https://gitlab.science.ru.nl/mlubbers/iTasks-SDK/raw/95-addbackgroundtask/Libraries/iTasks/_Framework/TaskServer.icl\
+ > "$TARGET"/lib/iTasks/iTasks/_Framework/TaskServer.icl
+
+echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"