keine ahnung

gibt es auf http://www.php.net/ keine binaries fuer verschiedene Betriebssysteme? sonst durchsuche mal die verschiedenen linux-distributionen, ob du da nicht ein .rpm oder .deb dieser version findest... das duerfte wohl das einfachste sein