#6362: PHP and multilib issue