Ubuntu's <bashrc> is now an "append" to the default one