bugfixes for linux