I found a criminal. There was a secret sauce /usr/libexec/path_helper; it looks in a file /etc/pathsand in a directory /etc/paths.d/.
The first bashsource /etc/profilethat executes the following code:
if [ -x /usr/libexec/path_helper ]; then
eval `/usr/libexec/path_helper -s`
fi
if [ "${BASH-no}" != "no" ]; then
[ -r /etc/bashrc ] && . /etc/bashrc
fi
Further bashsearches ~/.bash_profile, ~/.bash_loginand ~/.profile.
Listing these steps is PATHcreated as follows:
/etc/paths PATH- ,
/etc/paths.d/, PATH - , , . PATH={DIR_2_ADD}:"${PATH}" ~/.bash_profile ~/.bashrc preend PATH