Fix regression caused by 0b462620.

This regression was caused by a bug in handling spec patterns.
2 jobs for gen_proofmode in 10 minutes and 40 seconds (queued for 3 seconds)