Some formats didn't respect -dev option given by command line.
Merge branch 'unstable-jumbo' into bleeding-jumbo

# By ukasz
* unstable-jumbo:
  Some formats didn't respect -dev option given by command line.