bashrc: make machine specific bashrc file convention more sane