Hotfix for not getting the default directories for programming tools right on the raspberry pi.
Merge branch 'hotfix/0.1.1'