On 12/25/20 2:19 AM, Mattias Engdegård wrote:

>    CC       malloc/scratch_buffer_grow.o
> error: unable to open output file 'malloc/scratch_buffer_grow.o': 'No such file
>        or directory'
> 1 error generated.
> make[1]: *** [malloc/scratch_buffer_grow.o] Error 1
> make: *** [lib] Error 2

I installed the attached to try to fix this; please give it a try.