Re: [PATCH 08/10] winex11: Remove no longer needed helpers.