changed DEFAULT_MACHINE with "hachiko-tiny"