fix problem with size_t under linux