small fixes for linux