work around tip cgo strangeness