use string formatting supported by older pythons