changes to vm for verification-local