Update setup64.py