Add header file that was deleted in error