specify ARCHS explicitly to make travis-ci happy