Fix the name of patched fonts (fixes #34)