Update EXTRA_DIST

Thanks to Mathieu Bridon <bochecha@fedoraproject.org> for this fix
Free resources of each server name in the server_names list