Update DEVELOP_ENV.md