checkSpace.sh: fixes #18