fixes for linux compilation