search was broken when no decent robot path was given
Merge branch 'develop' of github.com:hpcugent/easybuild-framework into develop
Merge branch 'v1.2.x' into develop