Fix build with srcdir != builddir, bug #594597