diff --git a/LaunchAPPL/Server/CMakeLists.txt b/LaunchAPPL/Server/CMakeLists.txt
index 018a1687c1..409d2a14b5 100644
--- a/LaunchAPPL/Server/CMakeLists.txt
+++ b/LaunchAPPL/Server/CMakeLists.txt
@@ -123,7 +123,7 @@ if(HAVE_OPENTRANSPORT)
     endif()
 endif()
 
-if(HAVE_NAVIGATION)
+if(HAVE_NAVIGATION_H)
     if(CMAKE_SYSTEM_NAME MATCHES RetroPPC)
         target_link_libraries(LaunchAPPLServer -lNavigationLib)
     endif()