* fileio.c: Improve handling of file time marker. (Bug#11852)