Esta solução veio dos comentários do post acima. (A razão pela qual estou escrevendo uma solução em vez de um comentário é que atualmente não tenho a reputação de escrever um comentário e queria que as pessoas soubessem que isso funcionou para mim).
Eu instalei o libssl-dev usando:
sudo apt-get install libssl-dev
Então eu corri
make clean
Então
make
Depois disso, funcionou para mim. Obrigado aos comentaristas acima por esclarecer isso.