Tweaks to the top-level pull-tester script