see note in env.dist