The option ``--dev`` does not seem to be used anymore, right ?