Re: [PATCH v4] modules_install: make missing $DEPMOD a Warning instead of an Error