make it work in Python 2.5