Updated file .bashrc in debian/ directory.