Rely on Python 3 to decode stdout.