Wouter, Were you able to verify the fix for this bug? If it helps, I've posted a test build here that includes this fix: http://people.debian.org/~dannf/bugs/604457/