why: these files provide part of the externally accessible interface provided by vm_message.nim, vm_precompile.nim, vm_gas_cost.nim. so the new filename indicates that the source code belongs to vm2 (rather than vm).