title: Coq module "Cannot find a physical path bound to logical path matching suffix <> and prefix" and "not found in the loadpath"
body: <p>I'm reading <a href="https://softwarefoundations.cis.upenn.edu/lf-current/index.html" rel="nofollow noreferrer">logical foundations</a> and have downloaded the coq scripts which come with it.</p>
  <p>I'm using coq v8.8.1, install via opam.</p>
  <p>I'm getting the two errors in the title, and I am not sure how I should go about debugging them.</p>
  <p>The full error message for the second error is</p>
  <blockquote>
  <p>COQDEP VFILES</p>
  <p>*** Warning: in file Auto.v, library LF.Maps is required and has not been found in the loadpath!</p>
  </blockquote>
  <p>My objective is to compile and run the <code>Induction.v</code> file. I used coqide's options to first &quot;make makefile&quot; and then &quot;make&quot; before I got these errors.</p>