Fix Python3 issue with map() being deferred
Merge branch 'arm-ppc'