workaround for ubuntu 12.04 libmicrohttpd