Tweaking the check-setup.sh script