If I remember correctly they also had to disable shared array buffers because a thread just incrementing a shared value can be used as timer.