use PYTHON_EXECUTABLE for _setup_util.py