Adding make install (leading to make headers_install) to install headers