Small tweaks for linux