over.in: Use "$@" instead of $*.