It seems that the `doxygen` package will remove system includes...

It should be a bug of ubuntu or docker. Since we are not using doxygen
now, just remove this package.