bugfix for linux