Use a stricter subset of C in the executables