2 ms·

I managed to build it just fine. Their shell script didn't work for Raspberry Pi at the time, but fixing it was about 5 minutes of work.