On Dec 2, 2019, at 7:53 AM, Chinnapaiyan, Nagamani <Nagamani.Chinnapaiyan at viasat.com> wrote: > If directory names are different (but same files in them), INCLUDE works without any problem. But if I include same directory twice it segfaults. I've pushed a fix. Alan DeKok.