objsize requires camlp4
Merge pull request #2579 from yallop/objsize-camlp4

objsize requires camlp4