Tiny tweaks for Linux
Miscellaneous processing tweaks