added missing header file gone after git mv