in entries for Veriexec. This has been requested for a long time, most recently by Brad Harder. Thanks a lot to Michael van Elst for the patch, done during the latest hackathon.