+ Clean up .bashrc_custom so that one can custmize it for scratch.