I can't reproduce locally the failure that produced them, and since the
builds that triggered them are deleted for some reason (like
http://build.servo.org/builders/linux-dev/builds/419), it could be a
good moment to troubleshoot it.

If merged closes #7931