MPTCPMessage is used in both client and server, so I think these all need to be in the header.