The default ARCH was broken due to $ARCH not being exported.

Change-Id: I84f2b60c391d90ed285bd30669260c8483a3c76f