Make prove_stdio.sh
work on apple chips
#430
+5
−1
Merged