Fixed herlihy inclusion bug in db_test