Save running time in separate file, for portability.