Python 'symbolic' patch is bogus, and needs to go away.