make fixpoints simpl never

4 jobs for gen_proofmode in 14 minutes and 6 seconds (queued for 2 seconds)