"Feste" Versionslinks für php-cli