[GiNaC-devel] [PATCH] Install the ginac-excompiler script iff excompiler is supported and enabled.