Using the default value for ARCHS