The file you're missing can be found by installing package 'linux-libc-dev'.
Seems this was already fixed recently in the source code instructions for required packages to install:
revno: 4269 [merge] author: Christopher James Halse Rogers <email address hidden> committer: Alan Griffiths <email address hidden> branch nick: mir-trunk timestamp: Tue 2017-09-26 12:00:49 -0400
The file you're missing can be found by installing package 'linux-libc-dev'.
Seems this was already fixed recently in the source code instructions for required packages to install:
revno: 4269 [merge]
author: Christopher James Halse Rogers <email address hidden>
committer: Alan Griffiths <email address hidden>
branch nick: mir-trunk
timestamp: Tue 2017-09-26 12:00:49 -0400