dzhus/dsmc-tools not found