Installation fixes to mirage-tcp-*