some linux bugfixes