Fix build with top_srcdir != top_builddir