Fix inclusion of header files.