diff -r caaa2fc4040d -r 1f1a2c33ccf4 src/Pure/ROOT
--- a/src/Pure/ROOT	Mon Apr 04 17:25:53 2016 +0200
+++ b/src/Pure/ROOT	Mon Apr 04 19:48:54 2016 +0200
@@ -155,7 +155,6 @@
     "Syntax/term_position.ML"
     "Syntax/type_annotation.ML"
     "System/bash.ML"
-    "System/bash_windows.ML"
     "System/command_line.ML"
     "System/distribution.ML"
     "System/invoke_scala.ML"