fix for devtools installation / no config files