Work around unexplained $(filter-out) trouble.
Work around unexplained $(filter-out) trouble.

($filter-out) was leaving us with the empty list. Manually write out the
two choices.

Change-Id: Ib79677164f25b447418d75382b831659d0c7332d

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst