This fixes icons after the recent directory reshuffling, and
is just the right thing to do, since these icons are in resources
anyway.