Update BinF.h