Removed generation of the _binary_xxx_end symbol