[commit][approve] HARMONY-5764, HARMONY-5803

[Pavel Pervov]

I'd like to commit two more patches.

HARMONY-5764 - blocker for verifier inclusion into Eclipse TPTP
HARMONY-5803 - breakage of compilation on Linux.

Thanks,
-- 
Pavel