mini-httpd: update to version 1.2