bluebook: fix davfs