Fix RBinInfo.static