tuned;

--- a/src/Pure/Admin/remote_dmg.scala	Tue Mar 13 16:08:13 2018 +0100
+++ b/src/Pure/Admin/remote_dmg.scala	Tue Mar 13 17:13:20 2018 +0100
@@ -56,7 +56,7 @@
             case _ => getopts.usage()
           }
 
-        val options = Options.init
+        val options = Options.init()
         using(SSH.open_session(options, host = host, user = user, port = port))(
           remote_dmg(_, tar_gz_file, dmg_file, volume_name))
       }