Fix for stopping using the old "exst" function that is not used anymore, and not necessary since Virtuoso 6