This isn't a big problem ... I need to change the default Hostname. The Configure options: --build --host --target didn't what is requested. Only set this value in Default.py had the desired effect. But is overwitten by every new instalation. - oliver