Clean up traversal conjecture Makefile [skip CI]