stm: Clean up main.c; disable libgcc by default.

f2d and d2f functions from libgcc does not work correctly, most likely
due to the ABI being incorrect.  libgcc disabled for now.

1 files changed, 1 insertions, 1 deletions

diff --git a/stm/std.h b/stm/std.h
index e7002b06f..98c719676 100644
--- a/stm/std.h
+++ b/stm/std.h
@@ -11,7 +11,7 @@ void *memcpy(void *dest, const void *src, size_t n);
 void *memmove(void *dest, const void *src, size_t n);
 void *memset(void *s, int c, size_t n);
 
-//int strlen(const char *str);
+size_t strlen(const char *str);
 int strcmp(const char *s1, const char *s2);
 int strncmp(const char *s1, const char *s2, size_t n);
 char *strndup(const char *s, size_t n);