Log Message: Revert previous. joerg@ pointed out he has committed a more general fix in the linux emulation.