Re: [PATCH libdrm v2 2/4] *symbols-check: use normal shell over bash