Some missing headers are copied when doing make install