Switch back to the K&A server, since it's currently working and the
definitions are up to date