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