Regenerate compilation stuff with Automake 1.13.3.