Closes #9388
Feature: --restrict-filenames: replace accented characters by their unaccented counterpart instead of "_"
make clean
Closes #9359