fix --with-device-config