----------
Bugfix #3233: throw an IOError exception in Library.Open() if the specified
library file cannot be opened.
This had been changed to a "feature request" but should have been a bug, even
though it worked as documented (or rather, the documentation described what
the function did).