Find why rlbox hurts reproducibility

We had to disable rlbox at the last minute because the initial build for 12.5a2 was not reproducible.

Disabling rlbox again fixed the problem.