Fix failing integration test for measuring coverage#1408

jonathanmetzman merged 1 commit intomastergoogle/fuzzbench:masterfrom

fix-prgoogle/fuzzbench:fix-prCopy head branch name to clipboard