Re: [PATCH] binfmt_flat: Remove shared library support