make clean should not remove lib/minisatprover.md