Fix #251: rename machine to runtime