normalize all flisp symbols to NFC (fix #5434)