GCC is named gcc-4.2 on MacOS and gcc elsewhere