.bashrc: added machine-specific file inclusion