Deleted unused machine.ml