Makes the verify.sh script work on Mac OS X