added a couple of libraries