Bump third-party rev

jwatzman · hhvm-bot · commit 9cf697c4ee60 · 2015-04-08T14:00:29.000-07:00
Summary: Another build fix Fixes facebook#5141 Reviewed By: @paulbiss Differential Revision: D1977394
diff --git a/third-party b/third-party
@@ -1 +1 @@
-Subproject commit dff6479636358acb3c1c9045c8880a2fea1aaaa4
+Subproject commit 3a013a496a4934e8fa6e1fe47df00433804ee54c
