simplify modifications to binary.h