Thank you for your answer but still not working (the same problem) -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://listserv.zib.de/pipermail/scip/attachments/20151123/03ab884e/attachment.html>