mods for kern/ev.h