modified devenv