On Mon, May 21, 2018 at 09:28:14AM +0200, Leonardo Taccari wrote: > I have rewritten the patch to directly adjust Makefile.in and > hopefully now should work. Yes, that worked. Thanks. Mayuresh