let solver_dir = 
  try Sys.getenv("CUDFSOLVERS"with Not_found -> "/usr/share/cudf/solvers"