Added libs so that ExampleFunctionalTests passes