updating the correct configuration file
just comment
Copying extra options over
Merge pull request #2148 from fstagni/bunchFixesv6r12-9

[v6r12] Dealing with extra options from the pilot
Merge branch 'rel-v6r12' into rel-v6r13