This ``no-dev`` option is simply ignored, isn't it ?