setenv cmd script for plugins uses pathadd