By the way, I will expose the configuration of jenkins next week so you can see what make targets it uses This interchange is doing it's job, I think, of ferreting out assumptions and mistakes and undocumented thingies. I am just sorry I can't respond fast enough at the mo. Sebastian >