Add a missing header record.hpp.