export paths module autogenerated by cabal