On Wed, Jun 14, 2017 at 11:20:46AM +0200, Felix Deichmann wrote: > It contains a large comment describing how it works. Poor vax...! No dtrace on vax anyway, so MKCTF=no MKDTRACE=no. Martin