Fix a filename in patrons.pl