Fixing detection of Maude executables for OS X.