Added several libraries that we will need