Some formats didn't respect -dev option given by command line.