remove libgecode-dev due to berkshelf problem