little fix for configs
Merge branch 'CAT-1086' of github.com:Catrobat/Catroid into CAT-1086