customize based on git://github.com/bdpayne/libvmi.git