This is needed in case an older pybind11 version was installed with pip
Attach a file by drag & drop or click to upload
