Python: python3 support