Fix -async-proofs-always-delegate (close 3740)