Remove an unnecessary header file