One more fix to allow Theme Chooser to treat devel/* as master.