Smart card related patches for IBM's Identity Mixer library