This is a fallback option in case we cannot find a match. We don't set a default actual font, since we do not ship one with VLC. We can set one per platform, but I don't think it is worth the trouble.