minute changes - dumping output of Nginx config and make