diff --git a/platform/source/minimal-printf/README.md b/platform/source/minimal-printf/README.md
index 8d3ad0c8a00..3ee10d5197d 100644
--- a/platform/source/minimal-printf/README.md
+++ b/platform/source/minimal-printf/README.md
@@ -83,7 +83,7 @@ To replace the standard implementation of the printf functions with the ones in
 Compile with mbed-cli using the custom `minimal-printf` profile. For example, to compile in release mode:
 
 ```
-$ mbed compile -t <toolchain> -m <target> --profile release --profile minimal-printf
+$ mbed compile -t <toolchain> -m <target> --profile release --profile mbed-os/tools/profiles/extensions/minimal-printf.json
 ```
 
 ## Size comparison
diff --git a/tools/export/gnuarmeclipse/.cproject.tmpl b/tools/export/gnuarmeclipse/.cproject.tmpl
index d0a15e61727..2c86c3b9cc3 100644
--- a/tools/export/gnuarmeclipse/.cproject.tmpl
+++ b/tools/export/gnuarmeclipse/.cproject.tmpl
@@ -215,7 +215,7 @@
 									<listOptionValue builtIn="false" value="&quot;${ProjDirPath}/{{file}}&quot;"/>
 									{% endfor %}
 								</option>
-								{% if opts['c'].get('compiler.std') %}
+								{% if opts['c']['compiler.std'] %}
 								<option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.std.{{u.id}}" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.std" value="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.std.{{opts['c']['compiler.std']}}" valueType="enumerated"/>
 								{% endif %}
 								{% if opts['c']['otheroptimizations'] != '' %}
@@ -263,7 +263,7 @@
 									<listOptionValue builtIn="false" value="&quot;${ProjDirPath}/{{file}}&quot;"/>
 									{% endfor %}
 								</option>
-								{% if opts['cpp'].get('compiler.std') %}
+								{% if opts['cpp']['compiler.std'] %}
 								<option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.std.{{u.id}}" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.std" value="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.std.{{opts['cpp']['compiler.std']}}" valueType="enumerated"/>
 								{% endif %}
 
diff --git a/tools/profiles/minimal-printf.json b/tools/profiles/extensions/minimal-printf.json
similarity index 100%
rename from tools/profiles/minimal-printf.json
rename to tools/profiles/extensions/minimal-printf.json