repo_switch : also commit the corresponding GCJ binary (amd64)