Bit4id Smart Card Manager Extensions