linux: install more icons in the system theme