Fix for builds with srcdir!=builddir