more sensible naming of nginx config files