Fix build.

2 jobs for gen_proofmode in 3 minutes and 41 seconds (queued for 3 seconds)