If I remember correctly, the current Workbench floppy distribution that Cloanto are selling, has fixed this issue by having workbench.library (and icon.library) on the boot floppies, from where it is made resident for next reboots. Which is also what I do.