diff --git a/ports/card10/Makefile b/ports/card10/Makefile
index 4120a35f1d4dcab720a68849f526ad0000178081..85382c042b73e4c0908461636ce01543ab879728 100644
--- a/ports/card10/Makefile
+++ b/ports/card10/Makefile
@@ -50,7 +50,7 @@ SRC_C = \
 	lib/libc/string0.c \
 	lib/mp-readline/readline.c \
 
-OBJ = $(PY_CORE_O) $(addprefix $(BUILD)/, $(SRC_C:.c=.o))
+OBJ = $(PY_O) $(addprefix $(BUILD)/, $(SRC_C:.c=.o))
 
 # SDK compilation hack
 
diff --git a/ports/card10/mpconfigport.h b/ports/card10/mpconfigport.h
index 680f8a6d56a27633ff9aff692fe0b740b3b940b3..3faa728eff91ba0f36d0d18a8aab6bab885bd062 100644
--- a/ports/card10/mpconfigport.h
+++ b/ports/card10/mpconfigport.h
@@ -58,6 +58,7 @@
 #define MICROPY_CPYTHON_COMPAT      (0)
 #define MICROPY_LONGINT_IMPL        (MICROPY_LONGINT_IMPL_LONGLONG)
 #define MICROPY_FLOAT_IMPL          (MICROPY_FLOAT_IMPL_FLOAT)
+#define MICROPY_PY_UTIME_MP_HAL     (1)
 
 // type definitions for the specific machine