title: CoqIDE configuration in Linux
body: <p>I have a fresh install of Coq 8.6 in Ubuntu 17.04. When I try to compile my project using make, it works fine until I get the first error message. Then, I try to use CoqIDE to locate and correct the error, but I get new error messages, such as:</p>
  
  <p>"The file foo.vo contains library Top.foo and not library foo"</p>
  
  <p>My guess is that something is wrong with the configuration of CoqIDE, but I do not know what that could be. Any hints?</p>
  
  <p>Thanks in advance,
  Marcus.</p>