Documentation updates for new names of dll/so files.