I recently broke the install `vcsn`, as a result, (almost) nothing
works properly.  I didn't notice, because `make check` works, and we
run only it.

So try one installcheck for each arch, and speed/debug.