Fixed a build error that would occur because of renaming other headers.