Fixed some issues in the developer setup process.

Merged Markus Scheidgen requested to merge bugfixes-dev-setup into v0.9.11

Merge request reports