doc for extconf options