Fedora 22 Update: why3-0.86-1.fc22