Fix Unicode var names in JS