Fix a warning about undeclared call to abort().