Sorry, I should have been clearer about this. Yes, both the headers and the libraries are installed, as is shown by a later successful make test (although I have to go through another bit of detail to make that work — details to follow elsewhere in the thread).