Don't follow references to the default library (it won't work)