add some useful libraries