La libreria che trovi anche in download dalla "gestione librerie" dell'IDE è la MFRC522.
Quella libreria ti funziona. Perché usare l'altra, che inoltre, se guardi i file è roba di 4 anni fa ? (2013)
P.S. ma anche la MFRC che TU alleghi è vecchia. Perché usi roba vecchia ?