Update recover_tools.h