use lighttpd as the default web server