Move to python3-style unicode everywhere str()