Fix reference to renamed config.ml in Makefile