Failed to load interface for ‘Idris.Options’

[flip111]

I run stack init first which reads the cabal file and generates a stack.yaml file

$ stack build
  WARNING: filepath wildcard 'phprts/*.php' does not match any files.
  idris-php-0.0.0.1: configure (exe)
  Configuring idris-php-0.0.0.1...
  idris-php-0.0.0.1: build (exe)
  Preprocessing executable 'idris-codegen-php' for idris-php-0.0.0.1...
  [1 of 3] Compiling Paths_idris_php  ( .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/autogen/Paths_idris_php.hs, .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/idris-codegen-php/idris-codegen-php-tmp/Paths_idris_php.o )
  [2 of 3] Compiling IRTS.CodegenPHP  ( src/IRTS/CodegenPHP.hs, .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/idris-codegen-php/idris-codegen-php-tmp/IRTS/CodegenPHP.o )
  [3 of 3] Compiling Main             ( src/Main.hs, .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/idris-codegen-php/idris-codegen-php-tmp/Main.o )
  
  /home/flip111/idris/idris-php/src/Main.hs:5:1: error:
      Failed to load interface for ‘Idris.Options’
      Perhaps you meant Idris.CmdOptions (from idris-1.0)
      Use -v to see a list of the files searched for.
  WARNING: filepath wildcard 'phprts/*.php' does not match any files.
  
  --  While building package idris-php-0.0.0.1 using:
        /home/flip111/.stack/setup-exe-cache/x86_64-linux/Cabal-simple_mPHDZzAJ_1.24.2.0_ghc-8.0.2 --builddir=.stack-work/dist/x86_64-linux/Cabal-1.24.2.0 build exe:idris-codegen-php --ghc-options " -ddump-hi -ddump-to-file"
      Process exited with code: ExitFailure 1
stack build took 3966ms

idris version 1.0