various devenv updates