New time points according to library changes

The library API for time_pt has slightly changed. This commit
changes the code to fit to the new API. Tests pass.