Marking this bug as Fix Committed. The workaround is in place, and the root cause is this other bug (still open):
https://bugs.launchpad.net/checkbox-gui/+bug/1302388
Marking this bug as Fix Committed. The workaround is in place, and the root cause is this other bug (still open):
https:/ /bugs.launchpad .net/checkbox- gui/+bug/ 1302388