zerocloud: minor improvements to devenv setup