diff --git a/CMakeLists.txt b/CMakeLists.txt
index 291440b1..6180ee57 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -552,6 +552,9 @@ foreach (source ${rc-sources})
   configure_file (${CMAKE_CURRENT_SOURCE_DIR}/src/${source}.in ${CMAKE_CURRENT_BINARY_DIR}/${source})
 endforeach ()
 
+#   Delete any src/platform.hpp left by configure
+file (REMOVE ${CMAKE_CURRENT_SOURCE_DIR}/src/platform.hpp)
+
 configure_file (${CMAKE_CURRENT_SOURCE_DIR}/builds/cmake/platform.hpp.in ${CMAKE_CURRENT_BINARY_DIR}/platform.hpp)
 list (APPEND sources ${CMAKE_CURRENT_BINARY_DIR}/platform.hpp)