diff --git a/ini/renamed.ini b/ini/renamed.ini
index abc8ee5c28b..b325476d2f9 100644
--- a/ini/renamed.ini
+++ b/ini/renamed.ini
@@ -14,7 +14,8 @@
 #
 
 [renamed]
-platform = native
+platform  = ststm32
+board     = genericSTM32F103RE
 
 #
 # List of environment names that are no longer used