diff --git a/source_commit b/source_commit
index fcc534d7..d35dfbf6 100644
--- a/source_commit
+++ b/source_commit
@@ -1 +1 @@
-73dd4b14f587febd6dffb022fae4f1880cd2985c
+c3de3488ae45a5d2b9e449eb233d97d6799fdca3