Summary of changes: 2aa6adb... disable incorrect check for MkLinux to allow building with (*) 001b671... fix patch name, fix second incorrect MkLinux check (*) (*) This commit already existed in another branch; no separate mail sent