source. Using an external clock source (esp. the real-time clock) did not work. This might as well be a local problem (e.g. hardware). - Provide some dummy implementations in order to fix the build.