Use CLOCK_MONOTONIC if CLOCK_MONOTONIC_RAW is not defined.#355

0-wiz-0 wants to merge 1 commit intohomenc:masterhomenc/HElib:masterfrom

0-wiz-0:master0-wiz-0/HElib:masterCopy head branch name to clipboard