Raspberry Pi 3 b [32비트]에 PHP 7.2.0RC3/4 설치

현재 내 파이에 php7.2RC3/4를 설치하는 방법을 찾을 수 있습니까? 설치하려고 합니다https://downloads.php.net/~remi/(php-7.2.0RC3.tar.gz) 여기에서 찾을 수 있지만 "바이너리를 실행할 수 없습니다: Exec 형식 오류"라는 메시지가 표시되므로 64비트에서 작동하는 것 같습니다.

그래서 pi64 OS(Debian Stretch 기반)를 설치했지만 이 배포판이 별로 마음에 들지 않습니다. 시스템이 자주 멈추고 매우 느립니다.