make python2.5-compatible