added some other libraries