Profile scripts aren’t always read when launching a non-login shell. See
for an example of how to work around this.