diff --git a/ompi/CMakeLists.txt b/ompi/CMakeLists.txt
index 5460154077..fa0aa3618d 100644
--- a/ompi/CMakeLists.txt
+++ b/ompi/CMakeLists.txt
@@ -146,7 +146,7 @@ INSTALL(TARGETS libmpi
         RUNTIME DESTINATION bin
         LIBRARY DESTINATION lib
         ARCHIVE DESTINATION lib)
-INSTALL(FILES ${PROJECT_BINARY_DIR}/include/mpi.h ${PROJECT_BINARY_DIR}/include/mpi_portable_platform.h
+INSTALL(FILES ${PROJECT_BINARY_DIR}/include/mpi.h ${PROJECT_SOURCE_DIR}/include/mpi_portable_platform.h
   DESTINATION include)
 
 INSTALL(FILES errhandler/help-mpi-errors.txt