^{I was trying to install smlnj and I duplicate the path /usr/local/smlnj/bin. I already tried this : sudo rm -rf /usr/local/smlnj* but nothing happens. How can I delete the duplicates ?}