A GCC port to use with CMake