Fix to make_file() to exit earlier if a file is excluded, because doing