splitbrain: now works fine with python 3.3 too