configure: Generate the makefiles list in configure instead of make_makefiles.