fix badgeLabel on linux