# no bashisms so it can be used in debian profile run by dash
# --start adds to start of path, which will give it highest priority
# --ifexists will add to path only if the directory exists
# no bashisms so it can be used in debian profile run by dash
# --start adds to start of path, which will give it highest priority
# --ifexists will add to path only if the directory exists