added a few useful libraries