We can achieve all desired effects without having to patch the
generated `Makefile.coq`.