nghz/Turing-machine not found