[python3] Use python3-style print function (bis)