fixed a bug: The Env class does not exist anymore