trying to fix jenkins build again...
removing unused import
another fixing attempt
Setting the processor options for #521. Also updated a few header files
Merge pull request #523 from excilys/521_processor_options

Setting the processor options. Fixes #521