Update jenkins_hash.h