Fix path computation bug
Remove useless code
Add a hack to be able to browse prelude's signatures.