Changed way .bashrc.local is handled, it is now completely a user-customization area.