Work-around yet another bug of hopelessly broken MacOS X