Add version 3.80 of the header.