fixes for linux in update.sh