Set GECODE_USE_GETTIMEOFDAY properly.