A script to handle icon names in desktop icon themes