Use "deftheme" by default