disable test cvc3_main, attempt to fix dist_check