Add a few useful libraries