Some icons in galaxy are available only via a fallback, while the other themes
can implement these icons directly; but they did not end up in the
images_*.zip.

Change-Id: Ifc937ebec7a1e38828672e65706150f50abe8703