Bugfix for Linux