Fix build with sha3sum