bashrc: source local settings