python 2.5 fix