9a89db44b8
Remove the old include file, since it used to be in a non-public place.
Remove the old include file, since it used to be in a non-public place.