Use .txt as extension for timestamp files