Update to 64-bit DS9 in post_setup.py