Hi EvLooij,
thank you very much for your support -- I instantly tried to make use of your advices, however it did not really solve my problem. I do not just want to build, I also want to launch the debugger. Therefore I modified your script a little bit, (actually I added only one line)...