fix issue #136

I left the old setenv although that may be removed.