Fill in some blanks on our crypto header. Change to tsstud again for protodiff.