konn/turing-machine not found