Mention in the summary of section 7 that extra arguments to ./configure may be required.
Attach a file by drag & drop or click to upload
