Bugfix:  0CHOOSE0 (other libraries) links now work again.