HEAD is now at 45fe927 add INFINIBAND header protocol definition