diff --git a/runtime/runtime.h b/runtime/runtime.h
index ae3c7656d..1cf9ad714 100644
--- a/runtime/runtime.h
+++ b/runtime/runtime.h
@@ -2,7 +2,6 @@
 #define __LAMA_RUNTIME__
 
 #include "runtime_common.h"
-
 #include <assert.h>
 #include <ctype.h>
 #include <errno.h>
@@ -17,6 +16,6 @@
 
 #define WORD_SIZE (CHAR_BIT * sizeof(ptrt))
 
-void failure (char *s, ...);
+_Noreturn void failure (char *s, ...);
 
 #endif
diff --git a/runtime32/_dune b/runtime32/dune
similarity index 100%
rename from runtime32/_dune
rename to runtime32/dune
diff --git a/tmp/Hello.bc b/tmp/Hello.bc
deleted file mode 100644
index d03cebe93..000000000
Binary files a/tmp/Hello.bc and /dev/null differ
diff --git a/tmp/Sort.bc b/tmp/Sort.bc
deleted file mode 100644
index 263068563..000000000
Binary files a/tmp/Sort.bc and /dev/null differ