fix wrong placement of third-party header files.