Make dump() work Python 3.3