Add test040/B/*.idr to idris.cabal