Tarek’s commit fixed the way packaging configuration file markers are
split under Windows, but these two files were not edited.