use python 2.5 & 2.6-compatible string formatting