Delete config.xml~

Unneeded.