Oops, actually commit the openssl change to tools.