added a missing library