Sure, I'll get in touch with them. Should this PR wait until these Makefile changes end up in the next upstream release?