fixed PRIi64 errors when using minisat as a library; changes to allow integration in the modcounter project