Re: (subset) [PATCH] binfmt_flat: Remove shared library support