bugfix: default library again, but this time it's ok