Compatibility fix: no UTF-32 codec in Python 2.4/2.5.