change default theme to ocio_4

wcm_base.install

@@ -31,7 +31,7 @@ function wcm_base_install() {
 function _wcm_base_set_up_theme() {
   $enable = array('ocio_1', 'ocio_2', 'ocio_3', 'ocio_4');
   $disable = array('bartik');
-  $default = 'ocio_3';
+  $default = 'ocio_4';
   $admin = 'ocio_seven';
 
   theme_enable($enable);