Fix serialization to crrcsim