new files and hacks for zvm, mostly