Python: actual python3 support