Explicitly call '/usr/bin/arch' instead of just 'arch' to avoid using
a user-installed version of arch instead of the intended version. This is
needed because the interface of GNU arch is not quite compatible with what
the build machinery expects.

Fixes issue #7715 (backport from the trunk)
2 files changed