When procesing options, I got a different behavior if I use one or several files.

1. Example, I am using /home/julien/local/bin/ocarina -k no-assert -k deos -f -aadlv2 -g pok_c -r node.impl /home/julien/git/examples/core-examples/arinc653-basic/model.aadl
   Then, ocarina work as expected
2. If I specified more than one file: [julien@akira]/home/julien/wip/pok/examples/arinc653-threads#/home/julien/local/bin/ocarina -k no-assert -k deos -aadlv2 -g pok_c -r node.impl /home/julien/wip/runtime-osate/Plugin_Resources/ARINC653.aadl /home/julien/git/examples/core-examples/arinc653-basic/model.aadl /home/julien/wip/runtime-osate/Plugin_Resources/Data_Model.aadl
   Cannot find file deos

There is an error (see output)