Use cereal submodule