use Csize_t rather than Int; fixes #18