Linux compile bugfix