Add double dash for exec command for files
This prevents shenannigans with file names that might inject command line options.