Change filename for unicode_symbols