Removed pinocchio as a submodule