use themename instead of shortname for deb.