adding options force nostd option in da
Merge remote-tracking branch 'riccardo/master' into mric