Push up the lib files

I should probably have done this earlier, but meh.