Remove unused PHP extensions