remove no-longer-needed Makefile hackery

1 job for gen_proofmode in 11 minutes and 45 seconds (queued for 11 minutes and 20 seconds)