Python3: replace patch set with niXman's patches