Include sproutmath.proto