[Bug 1012840] Frequent build failure: libmicrohttpd