echo "Downloading and installing clean nightly" >&2
curl -sSL ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz \
| tar --gunzip --strip-components=1 --extract --directory="$TARGET"
-curl -sSL https://gitlab.science.ru.nl/clean-and-itasks/iTasks-SDK/raw/master/Libraries/iTasks/_Framework/TaskServer.dcl \
- > $TARGET/lib/iTasks/iTasks/_Framework/TaskServer.dcl
-curl -sSL https://gitlab.science.ru.nl/clean-and-itasks/iTasks-SDK/raw/master/Libraries/iTasks/_Framework/TaskServer.icl \
- > $TARGET/lib/iTasks/iTasks/_Framework/TaskServer.icl
echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"