@@ -375,6 +375,7 @@ Test-suite regression-and-feature-tests
375375
376376Executable idris-codegen-c
377377 Main-is: Main.hs
378+ other-modules: Paths_idris
378379 hs-source-dirs: codegen/idris-codegen-c
379380
380381 Build-depends: idris
@@ -389,6 +390,7 @@ Executable idris-codegen-c
389390
390391Executable idris-codegen-javascript
391392 Main-is: Main.hs
393+ other-modules: Paths_idris
392394 hs-source-dirs: codegen/idris-codegen-javascript
393395
394396 Build-depends: idris
@@ -403,6 +405,7 @@ Executable idris-codegen-javascript
403405
404406Executable idris-codegen-node
405407 Main-is: Main.hs
408+ other-modules: Paths_idris
406409 hs-source-dirs: codegen/idris-codegen-node
407410
408411 Build-depends: idris