I think I’ve been able to fix it by installing the font for “All users” instead of the current user. We’ll see…