That's the first version that should really work :); rc1 experienced
scheduling problems when multiple users were accessing the same hardware
resource in parallel.