changing to include using -R to facilitate opam