Update binary_translation.md