Files
pybind11/tools/setup_main.py.in