bashrc: platform specifics, helper functions