Ignore file-not-found errors when deleting DB timestamp file.

Fixes #732.