so this is promising -- 24 minutes instead of 38 for the jenkins-alltests run -- but I'll remove it until I can sort out the failures it causes