sed -i -e "s/glossaries //" $@
sed -i -e "s/pax //" $@