Register TARGET file extensions
If you doubleclick any file in Windows you might get asked by which application you want to open it. Avoid this procedure by registering the TARGET 3001! file extensions by Menu Settings / "Register TARGET file extensions". The following dialog appears:
