Build check-0.9.14 because the Ubuntu version is too old.