Further fixes to missing library in github.