linux: bugfix