Nightlies down

We are not lucky,

Just to let you know, both runners were down this morning (I couldn't SSH).

I rebooted and now everything is fine.

ping @amohammadi @andre.anjos