Fix problem with project name setting

settings.gradle

@@ -1 +1 @@
-rootProject.name = "blangSDK"
+rootProject.name = "blang" // Do not change to blangSDK: this value is hardcoded in the blang command-line infrastructure

src/main/java/blang/runtime/internals/Main.xtend

@@ -73,6 +73,10 @@ class Main { // Warning: blang.runtime.internals.Main hard-coded in build.gradle
     } catch (BinaryExecutionException bee) {
       // don't print: mirroring showed it already
       System.exit(1)
+    } catch (Exception e) {
+      System.err.println(e)
+      System.exit(1)
+      throw new RuntimeException
     }
   }