Unfortunately, we need a patch now as their Makefile relies on GCC's -print-multi-os-directory switch.