Issue #128: specify $ARCH only when unspecified