Work around broken make infrastructure. Sigh...