Better troubleshooting: dump server.xml in print_environment control script