changed the default locking scheme on Linux to task-fair queue