Install a patched OpenSC version for travis builds