Tiny tweaks for Linux