We should also remove this header file.