more random python3 fixes