Which gets it apparently wrong, as bash executes the *profile stuff on interactive login shells also.