Fixed a build error that make distcheck didn't catch (automake bug).