Install an assertionless library