These edits fix problems with isolated devel spaces. The devel prefix needs to be configured at build time, not at find time
code review
Merge pull request #5 from ethz-asl/fix/isolated-devel

These edits fix problems with isolated devel spaces. The devel prefix ne...