Darcs.CommandsAux
check_paths
malicious_patches
has_malicious_path