updates for rbx-10.0.0 binary