On Thursday, 8 March 2018 at 05:04:50 UTC, Mike Franklin wrote: > > This seems to work fine in GDC 7. See > https://explore.dgnu.org/g/1pfiY2 That's great. Than I only have to wait until gdc 7 makes it to Debian stable. ;-) Thanks for your reply.