WHY does it sometimes save tok with original filename and sometimes with some random filename?