Fix Mifare OK5553 build