diff --git a/arch/patmos/CMakeLists.txt b/arch/patmos/CMakeLists.txt
index da0434f7b1d81bdc6ec2e21a55ac565c41e4b662..c12e440f2c64edf01164f4df607e0062b9d9d463 100644
--- a/arch/patmos/CMakeLists.txt
+++ b/arch/patmos/CMakeLists.txt
@@ -88,7 +88,6 @@ macro(dosek_executable ELFFILE)
       COMMAND ${TC_TARGET_PLATIN} wcet -i ${SYSTEM_PML} -i ${GCFG_PML} --binary ${ELFFILE}
           --wca-count-instructions --disable-ait --wca-detect-gurobi
           --dref-stats ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.dref
-          --wca-write-lp-file ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.lp
           -e GCFG:timing-`printenv CIRCUIT`)
     
     # target to run the static WCEC analysis with platin
@@ -98,6 +97,7 @@ macro(dosek_executable ELFFILE)
       COMMAND ${TC_TARGET_PLATIN} wcet -i ${SYSTEM_PML} -i ${GCFG_PML} --binary ${ELFFILE}
           --wca-count-instructions --disable-ait --wca-detect-gurobi --wcec
           --dref-stats ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.dref
+          --wca-write-lp-file ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.lp
           -e GCFG:timing-`printenv CIRCUIT`)
 
     # target to run a simulation with pasim