Memo to self: bash profile is in /etc/profile. Not anywhere else, they don’t work. No idea why. But next time you need to alter your $PATH – it’s there.
bash
/etc/profile
$PATH