Revert "rbx build is green; let us try to keep it that way"

This reverts commit 0a1df537809cab64bbaa859ed4b1bbbf289965e6.