zenburn-theme bug, replace zenburn with deeper-blue theme