fix a missing library