Update hiphop-php