customized version of evilvm