our script for the verify-sources target in the Xen component contained a silly bug that resulted in the script not exiting upon failure