Zip Datei in den libraries Ordner im Arduino Verzeichnies entpacken und fertig.
Aber wie gesagt nicht nötig. Displays Multiplexen muss nicht super genau sein. Vielleicht wenn man noch zig andere Sachen macht und Code unterbrechen muss. Aber bei einer leeren Loop ist es Overkill.