fixing PHP extensions