maybe a fix for linux?