BUG: modification of .bash_profile for FSL missed an important declaration