Fix C++ style // comments in a couple of C files