added existing library files

these are current and work with PR4001