ci: searching for python3 executable, installing py3-dev package