Dev: better patch for ar-php for bug #07159
Dev: see https://sourceforge.net/p/ar-php/discussion/779212/thread/dc72b9db/