remove unneeded headers

This is a tiny tweak to remove some `#include`s that are not needed, to make compilation easier on a platform without  those header files.