Experimenting as the rust-ci PPA doesn't seem to be working any more.