Hi Jonathanberi
Yes, I actually used the link provided in the above thread to install the requirements and I have seen the expected build. Even the flash happened and successfully connected once to a thread border router. The next day I was not able to connect and I see the serial output becomes unresponsive after 10-20 seconds.
Here are the compilation attachments (I build this today)