diff --git a/umkMakefile b/umkMakefile index a87a598eb..16525bc5d 100644 Binary files a/umkMakefile and b/umkMakefile differ diff --git a/umkMakefile.in b/umkMakefile.in index a87a598eb..16525bc5d 100644 Binary files a/umkMakefile.in and b/umkMakefile.in differ