Для заголовков надо поставить dev пакет (php7.0-dev). Почему качаете исходники с гитхаба, да еще и dev версию? Вы это собираетесь на проде использовать? Если вам надо только конкретное расширение, не надо собирать PHP. Заходите в папку с расширением, выполняете phpize && make && make install. Подключаете расширение как библиотеку к установленной из пакетов версии PHP.