Switch to python3-style unicode everywhere str()