fixes for linux