Use cereal for serialization stuff