Remove -Wno-mismatched-tags altogether, as it is no longer needed.