Rename the "default" theme