a few tweaks for linux