patience/Makefile: fix typo when calling why3replayer