haskell-agda-stdlib: properly reference ghc and runhaskell