Fix #1 “Exception in `print_environment` control script: permission denied”
Better troubleshooting: dump server.xml in print_environment control script