Bash: Fix user's PATH modifications