Error reported by Travis corrected: missing library