modified so that you can run with cvc3