Added insertion of redundant C++ header guard