avoid duplicate $PATH entries