Correct Makefile, synchronize eval results go-fish and demo in 0xfaded/eval.