Minor autoconf changes for fizmo-dist-0.7.10.