python3: missing reduce