static void makeExecutable(File file) ctex {
  if (!isWindows())
    try {
      makeExecutable_java7(file);
    } catch {
      warn("Java 6 fallback for makeExecutable");
      backtick("chmod a+rx " + bashQuote(file));
    }
}