minor fix (linux) for critsection->mutex change