fixes github issue #178 - clock_gettime not found on ubuntu 12.04.3 LTS