Remove unnecessary workaround, as the bug is fixed in the latest nightly!