New headers from cctools-845 are now installed.
Removed an unneeded file.