On Mon, Feb 11, 2019 at 08:39:51PM +0100, K. Schreiner wrote: > Hi, > > with current source cvs'uped some minutes ago: Sigh - it compiled for me as I was building for debug, but with release optimizations on gcc is smarter. Will fix in a minute. Martin