static NanoHTTPD.Response serveFileWithName(File file) {
  NanoHTTPD.Response r = serveFile(file);
  r.addHeader("Content-Disposition", "inline; filename=\"" + file.getName() + "\""); // todo: encode special characters
  ret r;
}