diff --git a/Getting-Started.md b/Getting-Started.md
index 444c16e..58bdd9d 100644
--- a/Getting-Started.md
+++ b/Getting-Started.md
@@ -32,6 +32,7 @@ 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: