Re: [sr-dev] build problems: error: mi_mem.h: No such file or directory