Improve robustness when compiling C code
Fix a typo in the intrinsics header