Fix error: unknown type name 'size_t'
Merge pull request #878 from bvernoux/master

Fix error: unknown type name 'size_t'