Correct taucs environment variable