The workbench.library is part of the kickrom. Only the A4000T dont has it in ROM because of space (needed for the onboard scsi controller device). So you need the original disks or try to extract the file from a kickrom image that has it included (like 40.63 or 40.68).