fix wrong assumption, we'd need a PHP version