Hi Anders
You said you updated the config.ws
My guess is that this file is now not correct (line ending or so)
And the IdeSrc path can not be read properly.