Use the correct header file name after renaming it.