Kill config.mk (fixes #456)