Not able to bring up MangOH red board

I am following the instructions from getting started with MangOH red board (bought from Digikey). I am getting an error!
When I try to creat make file in Page 28 of the manual (Rev 5 9/11/18 41112261) I get an error that the VM console could not find source file. I have attached pictures of tjhe instruction and screen shot of the error. Has any one seen this error? Looks like the make file needs to be updated! Any help appreciated.
Thank you,

Hi Forum

I do face the similar issue with Red_wp85 while trying to build.

Any help is very much appreciated. Thanks.

/home/mangoh/legato_framework/legato/modules/WiFi/service/daemon/Component.cdef:15:4: error: Couldn’t find source file ‘/home/mangoh/legato_framework/legato/modules/WiFi/service/platformAdaptor//home/mangoh/legato_framework/legato/modules/WiFi/service/platformAdaptor/ti/’
Makefile:131: recipe for target ‘red_wp85’ failed
make: *** [red_wp85] Error 1