No need for separate library downloads

So this is reflected in the instructions.