Override the version of module defaultconfig (to include another patch as well).