correct distributed header files