fix PHP extensions not getting installed when using both HHVM and PHP