Changing AVM output from STDOUT to File.