Modified the maximum timestamp.txt size (#bug 159)