only use solver binary md5 as solver directory name, md5s are always valid directory names (binaryName might not)
only use solver binary md5 as solver directory name, md5s are always valid directory names (binaryName might not)

EDACC/edacc_client,EDACC/edacc_client,EDACC/edacc_client,EDACC/edacc_client,EDACC/edacc_client