Nothing from these headers are used within this source file, so we can
remove them.