use mini-httpd because thttpd was removed