Changed many ckernel_builder * arguments to void *