speed up for PHP version check in Virtuoso adapter