use proper format for timestamp in filename