other python3 fixes