sed -i -e "s/xml2pmx //" $@
sed -i -e "s/gregoriotex //" $@