fixed failed tests because .proverc exists