Use the correct md5 binary depending on platform