PHP extension dir now compatible with dynamic PHP_PREFIX option