* add a dummy PRNG
* use `clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &tm)` instead of
  `clock()` because the latter does not seem to work on Raspberry Pi