setup.sh: check whether the source file exists