Linux compatibility bugfix