Ah, another bug: when we disable running the tests, we should also drop these build prerequisites.

The problems I was hitting during the bors runs were failing during those attempts to resolve those prerequisites (and thus were masking another latent bug in the rule below: it is missing a close-paren).