use size_t for void pointer cast

As discussed in issue #64