We should give instructions on how to use the CMake build, rather than calling gcc by hand.