update to ElementTree 0.7.1