added devel and search_krumo