Fix #999: Facilitate collection of logged running times