Created attachment 164943 [details] Makefile.diff
Obsolete; may be included into https://reviews.freebsd.org/D3428.