Install published version of package QuillenSuslin, and set it
in configure.ac to be distributed.