Patch Compcert formula to support systems with Apple GCC