title: coqide - can't load modules from same folder
body: <p>I can't load modules that are in same folder in CoqIde.</p>
  
  <p>I'm trying to load sources from Software Foundations, I'm running coqide in folder that contains SF sources with <code>coqide</code> or <code>coqide ./</code>, then after opening and running the file, I'm getting this error:</p>
  
  <pre><code>Error: Cannot find library Poly in loadpath
  </code></pre>
  
  <p>in this line:</p>
  
  <pre><code>Require Export Poly.
  </code></pre>
  
  <p>and it's same for every other <code>require</code> commands.</p>
  
  <p>So how are you people loading programs from SF into coqide ?</p>