Add a patch for http://bugs.python.org/issue17547