I encountered the same bug in Ubuntu and came to the same conclusion as Johannes. I created a patch that fixes the issue. It makes more sense to be applied to upstream. The debdiff and the debugging details can be found at: https://bugs.launchpad.net/ubuntu/+source/cryptsetup/+bug/1301086 ~
R.
