I don't know if IB got the expiration procedure wrong or if the CME did, but they apparently used the settlement price of the Dec futures Friday night, as is correct for the American-style options. Here's a memo that talks more about the diffs between the two and the reason (similarity to the OTC FX market): http://www.cme.com/files/Chadv05-26.pdf