Unknown library removed (error reported by Travis)