Man kann die Endung der *.chk ändern.
Wenn die Datei vollständig zusammenhängend in eine *.chk Datei gespeichert ist, dann einfach die richtige Endung eingeben und fertig.