Update file_lib.h