Regenerate the build infrastructure stuff with Automake 1.13.2.