Updates coverage model to be 32-bit system compatible
Merge pull request #1814 from lukecampbell/32bit

OOIION-1751 and OOIION-1755 update coverage model pointer