As it has already surfaced in #1379, when installing pybind11 via pip form the python package index, only the header files of pybind are installed. After browsing a little in the project history, t...