<div dir="ltr"><div dir="ltr">Btw guys, this tool implements some heuristics to find options for headers that works fine, probably it could be helpful<div><a href="https://github.com/Sarcasm/compdb">https://github.com/Sarcasm/compdb</a><br></div></div></div>