Update CHANGES and Makefile.config

For the sake of history.