bugfix: on linux