Added a -GXX option to bin2o, so that objects generated by it can be used
with the -mgpopt option of GCC.