no longer need getPLCSHellVersion()