Update binary_file.h