Merge branch 'bugfixes-dev-setup' into 'v0.9.11'

Fixed some issues in the developer setup process.

See merge request !265
11 jobs for v0.9.11 in 21 minutes and 43 seconds (queued for 2 seconds)