Hi Mike and Dave, Could you please produce a patch so that we can fix #674161? I believe I should be able to get a freeze exception, but please do not wait too long until fixing. Also, please pull the debian-sid branch from Alioth, which has all the fixes I could find in the BTS. Cheers, Thomas