fi
DISTRO="https://ftp.cs.ru.nl/Clean/builds/linux-$1/clean-bundle-complete-linux-$1-latest.tgz"
-TAGS="https://gitlab.science.ru.nl/cloogle/cloogle-tags/-/jobs/artifacts/master/raw/cloogletags?job=build"
+TAGS="https://gitlab.com/cloogle/periphery/cloogle-tags/-/jobs/artifacts/master/raw/cloogletags?job=build"
CLMMAN="https://gitlab.science.ru.nl/clean-and-itasks/clm/raw/master/clm.1"
CP2CG="https://gitlab.science.ru.nl/clean-and-itasks/cleanprof2callgrind/-/jobs/artifacts/master/raw/cleanprof2callgrind?job=test"
CLEAN_HOME="/opt/clean-$1"
rm -rf "$CLEAN_HOME"/*
mkdir -p "$CLEAN_HOME"
echo "Downloading clean"
-curl -sSL "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz
+curl -ksSL "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz
echo "Installing manpages"
mkdir -p ~/.local/man/man1
curl -sSLo ~/.local/man/man1/clm.1 "$CLMMAN"