fix example davst, implement mtime