Turns out ISOFastRead, FastRead and all RFID related functions are in custom Manchester.h file in https://github.com/Eli-S-Bridge/ETAG_V10. If you encounter the same problem, don't download the generic ones online! Simply copy the Manchester.h file in github, go to Documents -> Arduino -> libraries, make a new file name Manchester, and paste the Manchester.h file. Now things compile nicely!