Fix for merge of https://git.ee.guardtime.com/developers/libksi/merge_requests/53 and https://git.ee.guardtime.com/developers/libksi/merge_requests/56.
Fix for merge of https://git.ee.guardtime.com/developers/libksi/merge_requests/53
and https://git.ee.guardtime.com/developers/libksi/merge_requests/56.

GuardTime/libksi,GuardTime/libksi,GuardTime/libksi,GuardTime/libksi