Add files for running automated verification from VM.