Travis: apt-get install openssl rather than libssl...