Added SHA1 symbols and header.