removed lispvm files; potentially good idea but need more thought before trying it