pybind11 must already be installed
Without pybind11 being already installed the installation terminates with
./pyHealpix.cc:30:31: fatal error: pybind11/pybind11.h: No such file or directory
#include <pybind11/pybind11.h>
Doing a pip install pybind11
solves the problem.