Installation fixes to mirage-tcp-*
Merge pull request #1417 from mirage/master

Installation fixes to mirage-tcp-*