fixes for linux
linux fixes