For CI, change rbx-19mode to rbx.