lxbroy7 no longer exists;

--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Feb 12 20:17:53 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Feb 13 12:09:51 2018 +0100
@@ -247,7 +247,7 @@
           detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
     ) :::
     {
-      for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy7")) }
+      for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")) }
       yield {
         List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail,
           options = "-m32 -M1x2 -t AFP -P" + n +