diff --git a/umkMakefile b/umkMakefile index 5ac3ec4d6..6b2d17e5e 100644 Binary files a/umkMakefile and b/umkMakefile differ diff --git a/umkMakefile.in b/umkMakefile.in index 5ac3ec4d6..6b2d17e5e 100644 Binary files a/umkMakefile.in and b/umkMakefile.in differ