diff --git a/Getting-Started.md b/Getting-Started.md
index fee739f..7b4283f 100644
--- a/Getting-Started.md
+++ b/Getting-Started.md
@@ -165,6 +165,8 @@ Change directory to the Unix build directory:
 
 And then make the executable
 
+> make axtls
+
 > make
 
 At that point, you will have a functioning micropython executable, which may be launched with the command: