simplify -extra argument to coq_makefile
simplify -extra argument to coq_makefile

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord