This is needed for the next commit, where time operations become local
to the specific pp instance.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>