Clean up FileDB

More convincing myself of its thread safety...