bugfix on linux