Stealth Hello, can´t install Redis extension in PHP, can I install it manually? System: Debian GNU/Linux 11 x86_64(Py3.7.9)