Fix Makefile to skip "coqtop -config" for avoiding errors.