bash does not read .profile on non-login shell (e.g. screen)