diff -r 3e09d22a0bf5 -r 47787a48f469 setup.py
--- a/setup.py	Mon May 11 21:54:05 2020 +0200
+++ b/setup.py	Sun May 17 12:23:03 2020 -0400
@@ -1396,7 +1396,7 @@
 
             env['HOME'] = pwd.getpwuid(os.getuid()).pw_dir
 
-        cargocmd = ['cargo', 'rustc', '-vv', '--release']
+        cargocmd = ['cargo', 'rustc', '--release']
 
         feature_flags = []