Travis: install libmicrohttpd