Issue #203: Linux: wrong icon