Hi Andrius, I mean, I am not sure whether that patch is the right fix. Just came up with it as a work around for that particular build failure so that I can see whether the segmentation fault issue is still there. Just an FYI. I will definitely take a detailed look from my side as well.
Thanks a lot, Pranav
