Fixes for milestone 1.7.2 release (issues 342, 378). Updates to
development environment document.