.bashrc: actually export SCREEN_SHELL_TITLE when fetched from file