Tiny linux bugfix