* config-ml.in: Don't hardcode the Makefile name.