Work around bugs in system headers.