try to fix bug of too many files open in virtuoso