So far we always did (it's like included in any PHP installation).